An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver
Sorting encrypted data without decryption: a practical trick
dev.toยท4hยท
Discuss: DEV
๐Ÿ”Hash Functions
Efficient and accurate search in petabase-scale sequence repositories
nature.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Burrows-Wheeler
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
๐ŸŒณIncremental Parsing
Basketball trivia, editing distances, and derangement
leancrew.comยท1d
๐Ÿ”คMorris-Pratt
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
โœ…Format Verification
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.aiยท5hยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
Mind the Gap: Quantifying Vocabulary Mismatch in E-Commerce Site Search
searchhub.ioยท1dยท
Discuss: Hacker News
๐Ÿ“ˆSearch Quality
Toy Binary Decision Diagrams
philipzucker.comยท4d
๐ŸงฎAlgebraic Datatypes
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท5hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.comยท1dยท
๐ŸงฎAlgebraic Datatypes
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
CubicLog โ€“ A single-binary logging server with zero-config smart analytics
github.comยท21hยท
Discuss: Hacker News
๐Ÿ“Log Parsing
No Bullshit Guide to Statistics prerelease
minireference.comยท1h
๐ŸงฎKolmogorov Bounds
Meet Amazon Quick Suite: The agentic AI application reshaping how work gets done
aboutamazon.comยท1dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
An enough week
blog.mitrichev.chยท23hยท
๐Ÿ“ˆLinear programming
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code